unique representation theorem